Man, it's been a totally productive day today. I cranked out 6 pages of Thesis! I can't say I've had a day this good all Summer, probably not since earlier even than that.

Yaaaay!

( Read more... )

Man.

The FMCS organizers assigned my talk the very last slot, on the very last day, right before lunch.

This can't be good.

O well, at least I suppose it means that people will be more interested in getting out of there, than in asking me difficult questions afterward.

I hope?


( Read more... )

Some Thesis for you:

-- sequent-rtensor ( Read more... )

Two out of my three trips to Ottawa have seen pissing with rain almost the entire time, with the exception being last year's stop of less than two hours. Ottawa is in danger of going on my Shit List along with Vancouver ( Read more... )

Holy crap. When did I become qualified to teach this mumbo jumbo?


( Read more... )

I am a giant nerd ( Read more... )

Well. After two weeks from some outer suburb of Hades, poorly served by transit, I am still alive. 687 cut-elimination procedures having been worked out, along with termination, confluence and equations-not to mention sundry expository text-means that I have written 31 pages in this time. Modulo proofreading and the usual edit-rewrite cycle, this ( Read more... )

Cut elimination in monoidal type-infused linearly distributive sigma-pi actegories... new and improved with term logics!


( Read more... )

So apparently I am utterly incapable of standing up to Dr. Incomprehensible.

So much for my plan of trying to leave behind the theory courses for more practical stuff for the rest of my degree. Less than 5 minutes after walking into his office, I find myself agreeing to take a 700-level theory course: CPSC 701.04 Categorical Proof TheoryI'm gonna ( Read more... )

Best paper ever: Computational Interpretations of Linear Logic

I totally hearts the way Abramsky writes... TWO pages of this paper cleared up the better part of the last three weeks' worth of confusion. Sigh.


( Read more... )